<?php
	session_start();
	$data = array(
		"filenames" => glob("*.map"), 
		"mapFilename" => $_SESSION['mapFilename'],
		"mapRandom" => $_SESSION['mapRandom']
	);
	sort($data['filenames'], SORT_STRING | SORT_FLAG_CASE);
	echo json_encode($data);
?>
